منابع مشابه
Kernel Contraction and Base Dependence
The AGM paradigm of belief change studies the dynamics of belief states in light of new information. Finding, or even approximating, those beliefs that are dependent on or relevant to a change is valuable because, for example, it can narrow the set of beliefs considered during belief change operations. A strong intuition in this area is captured by Gärdenfors’s preservation criterion (GPC), whi...
متن کاملShielded safety syringes.
To the Editor: The results of the study, “Impact of a Shielded Safety Syringe on Needlestick Injuries Among Healthcare Workers,” in the June 1992 issue (1992;13:349353) are encouraging. Technology that keeps the worker’s hands behind the needle at all times and covers the needle after use should significantly lower the rate of needlestick injuries. However, we noted the following inconsistencie...
متن کاملModellings for Belief Change: Base Contraction, Multiple Contraction, and Epistemic Entrenchment
1 . I n t r o d u c t i o n 1.1. R e p r e s e n t a t i o n o f b e l i e f s Our mode l of bel ief will be a s imple one. A belief is r ep resen ted by a sentence in some ( reg imented) language. Research done in Art i f ic ial Inte l l igence has recen t ly l ead to a revival of the logic of belief. I t was felt t h a t a c lear d i s t inc t ion should be d rawn be tween the explicit and th...
متن کاملHorn Clause Contraction Functions: Belief Set and Belief Base Approaches
Standard approachs to belief change assume that the underlying logic contains classical propositional logic. Recently there has been interest in investigating approaches to belief change, specifically contraction, in which the underlying logic is not as expressive as full propositional logic. In this paper we consider approaches to belief contraction in Horn knowledge bases. We develop two broa...
متن کاملSecure and Optimal Base Contraction in Graded Lukasiewicz Logics
The operation of base contraction was successfully characterized for a very general class of logics using the notion of remainder sets. Although, in the general case, this notion is inadequate for revision, where it is replaced by maximal consistent subsets. A natural question is wether this latter notion allows for a definition of contractionlike operators and, in case it does, what difference...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Artificial Intelligence
سال: 2018
ISSN: 0004-3702
DOI: 10.1016/j.artint.2018.03.007